Is Strategic Programming a Viable Paradigm?

Is Strategic Programming a Viable Paradigm?

This discussion paper for the Workshop on Reduction Strategies in Programming and Rewriting (WRS’01) speculates on the viability of strategic programming in mainstream programming and in two selected application areas: theorem proving and programming-in-the-large.

Multi-paradigm Logic Programming

A disjunctive temporal logic programming language, called Disjunctive Chronolog is presented in this paper. Disjunctive Chronolog combines the ideas of both temporal logic programming and disjunctive logic programming. The new language is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. Minimal model semantics, model ...

Answer Set Programming Paradigm

Declarative Multi-paradigm Programming

This tutorial provides an overview and introduction to declarative programming exploiting multiple paradigms, in particular, functional, logic, and constraint programming. To demonstrate the possibility to support these paradigms within a single programming model, we survey the features of the declarative multi-paradigm language Curry.

The Logic Programming Paradigm

Past and current activities in Logic Programming were described and the future of the field was critically discussed.